翻訳と辞書 Words near each other ・ William McCrea (astronomer) ・ William McCrea (politician) ・ William McCreary ・ William McCreery ・ William McCreery (Maryland) ・ William McCreery (Pennsylvania) ・ William McCristal ・ William McCrum ・ William McCullagh Torrens ・ William McCulloch ・ William McCulloch (Australian politician) ・ William McCullough ・ William McCullough (loyalist) ・ William McCullough (Northern Ireland politician) ・ William McCullough (politician) ・ William McCune ・ William McCutcheon ・ William McD. Gordon ・ William McDaniel ・ William McDaniel (disambiguation) ・ William McDaniels ・ William McDermott ・ William McDiarmid House ・ William McDonald (Canadian politician) ・ William McDonald Wheeler ・ William McDonell Dawson ・ William McDonnell ・ William McDonough ・ William McDonough (disambiguation) ・ William McDonough Kelly Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク William McCune ： ウィキペディア英語版 William McCune William McCune (December 1953 – May 2011) was an American computer scientist and logician working in the fields of Automated reasoning, Algebra, Logic, and Formal Methods. He was best known for the development of the Otter, Prover9, and Mace4 automated reasoning systems, and the automated proof of the Robbins conjecture using the EQP theorem prover. == References == * ( Prover9 software ) 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「William McCune」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.